How to detect an Overflow in binary Arithmetic